\begin{tabbing}
es{-}same{-}val(${\it es}$;$e$;${\it e'}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=es{-}valtype(${\it es}$; ${\it e'}$) $\equiv$ es{-}valtype(${\it es}$; $e$)\+
\\[0ex]\& es{-}val(${\it es}$; $e$) = es{-}val(${\it es}$; ${\it e'}$) $\in$ es{-}valtype(${\it es}$; $e$)
\-
\end{tabbing}